#Tag Index

[Alphabetical Index | Tag Index] – Important stuff is marked in bold, stuff with asterisk (*) will not be on the exam.

##Abstraction Abstract syntax tree — Abstract value* — Abstraction* — Application programming interface* — Cross-cutting concern* — Domain-specific language — Generative programming* — Generic programming* — Inheritance — Inlining

##Ambiguity Ambiguous grammar — Associativity — Associativity rule — Dangling else problem — Deterministic context-free grammar* — Disambiguation rule — Follow restriction — Generalised parser — Implicit disambiguation rule — Parse forest — Precede restriction — Priority rule — Reserve rule — Scannerless parsing

##Compilation Application binary interface* — Backend — Dynamic dispatch — Evaluator — Frontend — Inlining — Just-in-time compilation* — Lexical analysis — Name binding — Optimisation — Overload resolution — Semantic analysis — Typechecker

##Languages Domain-specific language — Dynamic dispatch — Dynamic language — Dynamic scoping — Evaluator — Functional programming — Generative programming* — Generic programming* — Higher-order function — Imperative programming — Inheritance — Lexical scoping — Literate programming* — Method — Multi-paradigm programming* — Object-oriented programming* — Pattern matching — Polymorphism* — Referential transparency — Structured programming* — Type safety — Unification*

##Parsing Abstract syntax tree — Analytic grammar* — Attribute grammar — Bottom-up parser — Derivation — Disambiguation rule — Generalised parser — GLL parser — GLR parser — Implicit disambiguation rule — Lexical analysis — LL parser — LR parser — Massaging* — Parse forest — Parse tree — Parser — Parser combinator* — Parsing expression grammar* — Parsing — Predictive parser — Priority rule — Recogniser — Recursive descent parser — Scannerful parsing — Scannerless parsing — Token — Tokeniser — Top-down parser — Yield*

##Semantics Abstract value* — Algebraic data type — Anonymous function — Closure — Continuation* — Dynamic dispatch — Dynamic scoping — Dynamic semantics — Environment — Evaluator — Formation rule — Function — Function type — Function value — Lexical scoping — Method — Name binding — Namespace — Overloading — Overload resolution — Referential transparency — Scope — Semantic analysis — Static semantics — Typechecker

##Syntax Abstract syntax tree — Ambiguous grammar — Analytic grammar* — Associativity — Associativity rule — Attribute grammar — Backus-Naur form — Chomsky normal form* — Context-free grammar — Dangling else problem — Definite clause grammar* — Desugaring — Deterministic context-free grammar* — Disambiguation rule — Epsilon — Extended Backus-Naur form* — Follow restriction — Formation rule — Generative grammar* — Grammar — Grammar in a broad sense* — Implicit disambiguation rule — Island grammar* — Kleene closure — Left factoring* — Left recursion* — Lexeme — Lexical syntax — Literate programming* — LL grammar — LR grammar — Massaging* — Nonterminal footprint* — Nonterminal symbol — Parse forest — Parse tree — Parsing expression grammar* — Precede restriction — Priority rule — Production rule — Regular expression — Regular grammar — Reserve rule — Scannerless parsing — Start symbol — Syntactic sugar — Terminal symbol

##Transformation Desugaring — Generative programming* — Inlining — Massaging* — Optimisation — Pattern matching — Program slicing* — Yield*

##Types Abstract data type* — Algebraic data type — Composite data type — Duck typing* — Dynamic typing — Field — Function type — Member — Named tuple — Nominative type equivalence* — Polymorphism* — Record, Record type — Recursive data type* — Static semantics — Static typing — Strong typing — Structural type equivalence* — Structure, Structure type — Typechecker — Type inference — Type safety — Typecasting* — Weak typing

[Alphabetical Index | Tag Index]